Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
💫 Effect Systems
Algebraic Effects, Monads, Side Effects, Purity
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
11549
posts in
179.4
ms
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
1d
·
Discuss:
Hacker News
🔬
programming language theory
Embedded
Agency
(full-text version)
lesswrong.com
·
5h
🎨
Domain-Specific Languages
Architectural and Mathematical
Foundations
of Machine Learning: A
Rigorous
Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io
·
5h
·
Discuss:
Hacker News
🔍
Neural Architecture Search
Decomposing
Reasoning
Efficiency
in Large Language Models
arxiv.org
·
14h
🔄
Subinterpreters
Rust
Standard
Library Challenges
rustfinity.com
·
5h
·
Discuss:
r/rust
🚂
Cranelift IR
Mitch
Horowitz
newthoughtevolutionary.wordpress.com
·
4h
🔄
Systems Thinking
Large Language Models for
Mortals
book
andrewpwheeler.com
·
9h
🌱
Minimal ML
Your AI has no memory. Your
Rails
codebase
does.
rubyonai.com
·
4h
·
Discuss:
Hacker News
🔮
Metacircular Evaluators
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
3h
·
Discuss:
Lobsters
🎭
Racket
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
1d
🎨
Domain-Specific Languages
Generics
docs.modular.com
·
3h
📐
Type Theory
How I Used Claude Code to
Teach
Myself
Rust
mlolson.github.io
·
3h
·
Discuss:
Hacker News
,
r/programming
🚂
Cranelift IR
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
14h
⚡
Comptime Parsers
Show HN: Bitcoin,
GEB
, and Bach's
fugues
share the same structural move
falsework.dev
·
3h
·
Discuss:
Hacker News
⚖️
Inference Rules
Graph
algebra
en.wikipedia.org
·
1d
∘
Category Theory
Deferred
member
initialization
in C++
sandordargo.com
·
20h
·
Discuss:
Lobsters
💬
Smalltalk VMs
Peiyang-Song/Awesome-LLM-Reasoning-Failures
:
Repo
for "Large Language Model Reasoning Failures"
github.com
·
2h
🪜
Recursive Descent
Part 1 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
3h
·
Discuss:
Hacker News
🧠
Symbolic AI
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
2d
∘
Category Theory
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
1d
🚂
Error Propagation
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help